body {
    /*如果使用图片，图片的地址要相对于css文件来写，不能相对于工程根目录写*/
    background-repeat: repeat-y;
    background-position-x: center;
    background-attachment: fixed;
    font-size: 100%;
    /*在h或p等标签中，使用 em 为单位的文字大小是与前面的例子中像素一样。不过，如果使用 em 单位，可以在所有浏览器中调整文本大小。
    不幸的是，仍然是IE浏览器的问题。调整文本的大小时，会比正常的尺寸更大或更小。
    通过在body里设置font-size为100%，则可以避免IE浏览器的这个问题*/
    font-family: monospace;
}

div#menu {
    background-color: #3c3f41;
    color: #afb1b3;
    height: auto;
    width: 100%;
    float: top;
    /*border: 2px solid black;*/
    padding: 0;
}

.pos_fixed { /*界面上不动的元素，不随页面滚动而变化*/
    position: fixed;
    top: 50px;
    right: 50px;
}

#tool {
    background-color: cadetblue;
    height: auto;
    min-height: 25px;
    width: 100%;
    float: top;
    border: 2px black;
}

#nav {
    background-color: #f1efe8;
    height: 900px;
    width: 10%;
    /*float: left;*/
    position: absolute;
    border: 2px black;
}


#editor {
    background-color: transparent;
    height: 900px;
    width: 90%;
    position: absolute;
    /*float: left;*/
    border: 2px black;
    /*overflow: auto;*/
}

#statusbar {
    /*background-color: transparent;*/
    background-color: #3c3f41;
    color: #afb1b3;
    position: absolute;
    bottom: 0;
    border: 2px black;
    height: 23px; /*不能设置为auto，否则可能会出现拖动条*/
    /*padding: 2px;*/
    width: 100%;
}

#help {
    display: none; /*元素不显示且不占用空间*/
    /*visibility: hidden;*//*元素不显示但会占用空间*/
}

.heat_compo { /*可以由用户自定义大小的组件*/
    resize: both;
}